[INFO] cloning repository https://github.com/tripti-agarwal/VerifSZp
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/tripti-agarwal/VerifSZp" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftripti-agarwal%2FVerifSZp", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftripti-agarwal%2FVerifSZp'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 19e09c4cae1af9abf3f93409b9ec190288dd1b89
[INFO] checking tripti-agarwal/VerifSZp against master#c290daa1e5274a52e54a0f49e31bd70192abc606 for pr-133502-23
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Ftripti-agarwal%2FVerifSZp" "/workspace/builds/worker-7-tc1/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc1/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/tripti-agarwal/VerifSZp
[INFO] finished tweaking git repo https://github.com/tripti-agarwal/VerifSZp
[INFO] tweaked toml for git repo https://github.com/tripti-agarwal/VerifSZp written to /workspace/builds/worker-7-tc1/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/tripti-agarwal/VerifSZp on toolchain c290daa1e5274a52e54a0f49e31bd70192abc606
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c290daa1e5274a52e54a0f49e31bd70192abc606" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/tripti-agarwal/VerifSZp already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+c290daa1e5274a52e54a0f49e31bd70192abc606" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:3d5ced03c013a94a2f102a4510f48a6e9184255caf5fd8244f58017bde7f5210" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 91a1358c572a17ee288833b09186d1ee5c8470a564612bbf04aa762344761132
[INFO] running `Command { std: "docker" "start" "91a1358c572a17ee288833b09186d1ee5c8470a564612bbf04aa762344761132", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "91a1358c572a17ee288833b09186d1ee5c8470a564612bbf04aa762344761132", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "91a1358c572a17ee288833b09186d1ee5c8470a564612bbf04aa762344761132" "/opt/rustwide/cargo-home/bin/cargo" "+c290daa1e5274a52e54a0f49e31bd70192abc606" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "91a1358c572a17ee288833b09186d1ee5c8470a564612bbf04aa762344761132", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "91a1358c572a17ee288833b09186d1ee5c8470a564612bbf04aa762344761132" "/opt/rustwide/cargo-home/bin/cargo" "+c290daa1e5274a52e54a0f49e31bd70192abc606" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling zerocopy v0.8.33
[INFO] [stderr]    Compiling proc-macro2 v1.0.106
[INFO] [stderr]    Compiling quote v1.0.44
[INFO] [stderr]    Compiling syn v2.0.114
[INFO] [stderr]    Compiling zerocopy-derive v0.8.33
[INFO] [stderr]     Checking half v2.7.1
[INFO] [stderr]     Checking float_types_demo v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: constant `SPECIAL_MISSING` is never used
[INFO] [stdout]   --> src/quantization_assertions.rs:15:7
[INFO] [stdout]    |
[INFO] [stdout] 15 | const SPECIAL_MISSING: i32 = i32::MIN + 3;
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `has_rounding`
[INFO] [stdout]     --> src/quantization_assertions.rs:1072:18
[INFO] [stdout]      |
[INFO] [stdout] 1072 |             let (has_rounding, magnitude, step) = detect_rounding_errors(value, error_bound);
[INFO] [stdout]      |                  ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_has_rounding`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `has_rounding`
[INFO] [stdout]     --> src/quantization_assertions.rs:1113:14
[INFO] [stdout]      |
[INFO] [stdout] 1113 |         let (has_rounding, _, _) = detect_rounding_errors(1.234, error_bound);
[INFO] [stdout]      |              ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_has_rounding`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `wrapped_q`
[INFO] [stdout]     --> src/quantization_assertions.rs:1198:26
[INFO] [stdout]      |
[INFO] [stdout] 1198 |         let (original_q, wrapped_q, did_wrap) = compute_wraparound(-1e15, error_bound);
[INFO] [stdout]      |                          ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_wrapped_q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `original_q`
[INFO] [stdout]     --> src/quantization_assertions.rs:1209:38
[INFO] [stdout]      |
[INFO] [stdout] 1209 |         let (wrapped_q, wrapped_deq, original_q, did_wrap, error, error_ratio) = 
[INFO] [stdout]      |                                      ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_original_q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `original_q`
[INFO] [stdout]     --> src/quantization_assertions.rs:1271:14
[INFO] [stdout]      |
[INFO] [stdout] 1271 |         let (original_q, wrapped_q, did_wrap) = compute_wraparound(value, error_bound);
[INFO] [stdout]      |              ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_original_q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `SPECIAL_MISSING` is never used
[INFO] [stdout]   --> src/quantization_assertions.rs:15:7
[INFO] [stdout]    |
[INFO] [stdout] 15 | const SPECIAL_MISSING: i32 = i32::MIN + 3;
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `quantized`, `dequantized`, and `errors` are never read
[INFO] [stdout]   --> src/quantization_assertions.rs:20:9
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub struct VerifiedQuantizationResult {
[INFO] [stdout]    |            -------------------------- fields in this struct
[INFO] [stdout] 20 |     pub quantized: Vec<i32>,
[INFO] [stdout]    |         ^^^^^^^^^
[INFO] [stdout] 21 |     pub dequantized: Vec<f32>,
[INFO] [stdout]    |         ^^^^^^^^^^^
[INFO] [stdout] 22 |     pub errors: Vec<f32>,
[INFO] [stdout]    |         ^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `VerifiedQuantizationResult` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `PotentialWraparound` is never constructed
[INFO] [stdout]    --> src/quantization_assertions.rs:409:5
[INFO] [stdout]     |
[INFO] [stdout] 401 | pub enum ViolationType {
[INFO] [stdout]     |          ------------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 409 |     PotentialWraparound,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ViolationType` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `filepath`, `quantized_values`, and `dequantized_values` are never read
[INFO] [stdout]    --> src/quantization_assertions.rs:424:9
[INFO] [stdout]     |
[INFO] [stdout] 423 | pub struct VerifiedFileResult {
[INFO] [stdout]     |            ------------------ fields in this struct
[INFO] [stdout] 424 |     pub filepath: String,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 425 |     pub total_values: usize,
[INFO] [stdout] 426 |     pub quantized_values: Vec<i32>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^
[INFO] [stdout] 427 |     pub dequantized_values: Vec<f32>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `VerifiedFileResult` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `error_bound`, `correct_q`, `wrapped_dequantized`, `saturated_dequantized`, and `error_ratio` are never read
[INFO] [stdout]    --> src/quantization_assertions.rs:821:9
[INFO] [stdout]     |
[INFO] [stdout] 819 | pub struct WraparoundExample {
[INFO] [stdout]     |            ----------------- fields in this struct
[INFO] [stdout] 820 |     pub original_value: f32,
[INFO] [stdout] 821 |     pub error_bound: f32,
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout] 822 |     pub correct_q: i64,           // Mathematically correct quantized value
[INFO] [stdout]     |         ^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 825 |     pub wrapped_dequantized: f32, // Dequantized from wrapped
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 826 |     pub saturated_dequantized: f32, // Dequantized from saturated
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 830 |     pub error_ratio: f32,         // wrapped_error / error_bound
[INFO] [stdout]     |         ^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `WraparoundExample` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `has_rounding`
[INFO] [stdout]     --> src/quantization_assertions.rs:1072:18
[INFO] [stdout]      |
[INFO] [stdout] 1072 |             let (has_rounding, magnitude, step) = detect_rounding_errors(value, error_bound);
[INFO] [stdout]      |                  ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_has_rounding`
[INFO] [stdout]      |
[INFO] [stdout]      = note: `#[warn(unused_variables)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `has_rounding`
[INFO] [stdout]     --> src/quantization_assertions.rs:1113:14
[INFO] [stdout]      |
[INFO] [stdout] 1113 |         let (has_rounding, _, _) = detect_rounding_errors(1.234, error_bound);
[INFO] [stdout]      |              ^^^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_has_rounding`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `wrapped_q`
[INFO] [stdout]     --> src/quantization_assertions.rs:1198:26
[INFO] [stdout]      |
[INFO] [stdout] 1198 |         let (original_q, wrapped_q, did_wrap) = compute_wraparound(-1e15, error_bound);
[INFO] [stdout]      |                          ^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_wrapped_q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `original_q`
[INFO] [stdout]     --> src/quantization_assertions.rs:1209:38
[INFO] [stdout]      |
[INFO] [stdout] 1209 |         let (wrapped_q, wrapped_deq, original_q, did_wrap, error, error_ratio) = 
[INFO] [stdout]      |                                      ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_original_q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused variable: `original_q`
[INFO] [stdout]     --> src/quantization_assertions.rs:1271:14
[INFO] [stdout]      |
[INFO] [stdout] 1271 |         let (original_q, wrapped_q, did_wrap) = compute_wraparound(value, error_bound);
[INFO] [stdout]      |              ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_original_q`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `SPECIAL_MISSING` is never used
[INFO] [stdout]   --> src/quantization_assertions.rs:15:7
[INFO] [stdout]    |
[INFO] [stdout] 15 | const SPECIAL_MISSING: i32 = i32::MIN + 3;
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: constant `SPECIAL_MISSING` is never used
[INFO] [stdout]   --> src/quantization_assertions.rs:15:7
[INFO] [stdout]    |
[INFO] [stdout] 15 | const SPECIAL_MISSING: i32 = i32::MIN + 3;
[INFO] [stdout]    |       ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `VerifiedQuantizationResult` is never constructed
[INFO] [stdout]   --> src/quantization_assertions.rs:19:12
[INFO] [stdout]    |
[INFO] [stdout] 19 | pub struct VerifiedQuantizationResult {
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `verify_error_bound` is never used
[INFO] [stdout]    --> src/quantization_assertions.rs:129:8
[INFO] [stdout]     |
[INFO] [stdout] 129 | pub fn verify_error_bound(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `PotentialWraparound` is never constructed
[INFO] [stdout]    --> src/quantization_assertions.rs:409:5
[INFO] [stdout]     |
[INFO] [stdout] 401 | pub enum ViolationType {
[INFO] [stdout]     |          ------------- variant in this enum
[INFO] [stdout] ...
[INFO] [stdout] 409 |     PotentialWraparound,
[INFO] [stdout]     |     ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `ViolationType` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: fields `filepath`, `quantized_values`, and `dequantized_values` are never read
[INFO] [stdout]    --> src/quantization_assertions.rs:424:9
[INFO] [stdout]     |
[INFO] [stdout] 423 | pub struct VerifiedFileResult {
[INFO] [stdout]     |            ------------------ fields in this struct
[INFO] [stdout] 424 |     pub filepath: String,
[INFO] [stdout]     |         ^^^^^^^^
[INFO] [stdout] 425 |     pub total_values: usize,
[INFO] [stdout] 426 |     pub quantized_values: Vec<i32>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^
[INFO] [stdout] 427 |     pub dequantized_values: Vec<f32>,
[INFO] [stdout]     |         ^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = note: `VerifiedFileResult` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `quantize_and_verify` is never used
[INFO] [stdout]    --> src/quantization_assertions.rs:445:8
[INFO] [stdout]     |
[INFO] [stdout] 445 | pub fn quantize_and_verify(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `detect_wraparound` is never used
[INFO] [stdout]    --> src/quantization_assertions.rs:552:8
[INFO] [stdout]     |
[INFO] [stdout] 552 | pub fn detect_wraparound(value: f32, error_bound: f32) -> (bool, Option<i32>, i32) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `quantize_saturating` is never used
[INFO] [stdout]    --> src/quantization_assertions.rs:595:8
[INFO] [stdout]     |
[INFO] [stdout] 595 | pub fn quantize_saturating(value: f32, error_bound: f32) -> i32 {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `quantize_wrapping` is never used
[INFO] [stdout]    --> src/quantization_assertions.rs:638:8
[INFO] [stdout]     |
[INFO] [stdout] 638 | pub fn quantize_wrapping(value: f32, error_bound: f32) -> i32 {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `dequantize_wrapping` is never used
[INFO] [stdout]    --> src/quantization_assertions.rs:666:8
[INFO] [stdout]     |
[INFO] [stdout] 666 | pub fn dequantize_wrapping(quantized: i32, error_bound: f32) -> f32 {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `compute_wraparound` is never used
[INFO] [stdout]    --> src/quantization_assertions.rs:696:8
[INFO] [stdout]     |
[INFO] [stdout] 696 | pub fn compute_wraparound(value: f32, error_bound: f32) -> (i64, i32, bool) {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `quantize_dequantize_wrapping` is never used
[INFO] [stdout]    --> src/quantization_assertions.rs:742:8
[INFO] [stdout]     |
[INFO] [stdout] 742 | pub fn quantize_dequantize_wrapping(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `demonstrate_wraparound` is never used
[INFO] [stdout]    --> src/quantization_assertions.rs:764:8
[INFO] [stdout]     |
[INFO] [stdout] 764 | pub fn demonstrate_wraparound(error_bound: f32) -> Vec<WraparoundExample> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `WraparoundExample` is never constructed
[INFO] [stdout]    --> src/quantization_assertions.rs:819:12
[INFO] [stdout]     |
[INFO] [stdout] 819 | pub struct WraparoundExample {
[INFO] [stdout]     |            ^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `verify_quantization_formula` is never used
[INFO] [stdout]    --> src/quantization_assertions.rs:843:8
[INFO] [stdout]     |
[INFO] [stdout] 843 | pub fn verify_quantization_formula(value: f32, error_bound: f32) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `verify_special_value_preservation` is never used
[INFO] [stdout]    --> src/quantization_assertions.rs:976:8
[INFO] [stdout]     |
[INFO] [stdout] 976 | pub fn verify_special_value_preservation(value: f32, error_bound: f32) -> bool {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `check_integer_overflow_f32` is never used
[INFO] [stdout]   --> src/main.rs:41:4
[INFO] [stdout]    |
[INFO] [stdout] 41 | fn check_integer_overflow_f32(value: f32, error_bound: f32) -> bool {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `check_integer_underflow_f32` is never used
[INFO] [stdout]   --> src/main.rs:49:4
[INFO] [stdout]    |
[INFO] [stdout] 49 | fn check_integer_underflow_f32(value: f32, error_bound: f32) -> bool {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `check_integer_overflow_f64` is never used
[INFO] [stdout]   --> src/main.rs:74:4
[INFO] [stdout]    |
[INFO] [stdout] 74 | fn check_integer_overflow_f64(value: f64, error_bound: f64) -> bool {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `check_integer_underflow_f64` is never used
[INFO] [stdout]   --> src/main.rs:82:4
[INFO] [stdout]    |
[INFO] [stdout] 82 | fn check_integer_underflow_f64(value: f64, error_bound: f64) -> bool {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `check_integer_overflow_f32` is never used
[INFO] [stdout]   --> src/main.rs:41:4
[INFO] [stdout]    |
[INFO] [stdout] 41 | fn check_integer_overflow_f32(value: f32, error_bound: f32) -> bool {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `check_integer_underflow_f32` is never used
[INFO] [stdout]   --> src/main.rs:49:4
[INFO] [stdout]    |
[INFO] [stdout] 49 | fn check_integer_underflow_f32(value: f32, error_bound: f32) -> bool {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `check_integer_overflow_f64` is never used
[INFO] [stdout]   --> src/main.rs:74:4
[INFO] [stdout]    |
[INFO] [stdout] 74 | fn check_integer_overflow_f64(value: f64, error_bound: f64) -> bool {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: function `check_integer_underflow_f64` is never used
[INFO] [stdout]   --> src/main.rs:82:4
[INFO] [stdout]    |
[INFO] [stdout] 82 | fn check_integer_underflow_f64(value: f64, error_bound: f64) -> bool {
[INFO] [stdout]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 10.22s
[INFO] running `Command { std: "docker" "inspect" "91a1358c572a17ee288833b09186d1ee5c8470a564612bbf04aa762344761132", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "91a1358c572a17ee288833b09186d1ee5c8470a564612bbf04aa762344761132", kill_on_drop: false }`
[INFO] [stdout] 91a1358c572a17ee288833b09186d1ee5c8470a564612bbf04aa762344761132
